Axiom schema of replacement - PDFSEARCH.IO - Document Search Engine

Axiom schema of replacement
Results: 16

#	Item
11	Large cardinals and elementary embeddings of V Master thesis of: Add to Reading List Source URL: mpla.math.uoa.gr Language: English - Date: 2012-09-16 17:35:37 Large cardinals Axioms of set theory Determinacy Z notation Constructible universe Absoluteness Reflection principle Axiom schema of replacement Inaccessible cardinal Mathematical logic Set theory Mathematics
12	Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗ Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2009-10-23 05:03:31 Function Category theory Axiom schema of replacement Constructivism Topos Sheaf Axiom of choice Zermelo–Fraenkel set theory Surjective function Mathematics Mathematical logic Functions and mappings
13	Is ZF a hack? Comparing the complexity of some (formalist interpretations of ) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2008-04-30 04:22:51 Set theory Type theory Model theory Z notation Automath Axiom of choice Axiom schema of replacement New Foundations Axiom Mathematical logic Logic Mathematics
14	PDF Document Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:56:02 Axioms of set theory Ordinal numbers Proof theory Z notation Constructive set theory Axiom schema of replacement Ordinal analysis Kripke–Platek set theory Constructible universe Mathematical logic Mathematics Logic
15	PDF Document Add to Reading List Source URL: www.math.dartmouth.edu Language: English - Date: 2006-05-31 15:44:59 Cardinal numbers Axiom of choice Function Finite set Axioms of set theory Mathematical proof Axiom schema of replacement Cantor–Bernstein–Schroeder theorem Mathematics Mathematical logic Set theory
16	PDF Document Add to Reading List Source URL: images4.wikia.nocookie.net Language: English - Date: 2009-03-25 13:39:29 Order theory Function Finitary relation Filter Universal quantification Total order Axiom schema of replacement Outline of algebraic structures Mathematics Mathematical logic Logic

UPDATE